11![The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten](https://www.pdfsearch.io/img/7c104b130e6c87da56348f2d9a6844bb.jpg) | Add to Reading ListSource URL: www.cs.uni-potsdam.deLanguage: English - Date: 2008-03-22 23:32:33
|
---|
12![GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine](https://www.pdfsearch.io/img/a553867ffabc01109b02a766a626828a.jpg) | Add to Reading ListSource URL: www.verit-solver.orgLanguage: English - Date: 2015-06-10 09:33:21
|
---|
13![Abstract Algebra Theory and Applications
Abstract Algebra Theory and Applications Thomas W. Judson Abstract Algebra Theory and Applications
Abstract Algebra Theory and Applications Thomas W. Judson](https://www.pdfsearch.io/img/287ad4361904a40039d63fd26fcbb0a4.jpg) | Add to Reading ListSource URL: abstract.pugetsound.eduLanguage: English - Date: 2015-08-29 19:42:43
|
---|
14![Evaluating Automated Theorem Provers for First-Order Modal Logics Thomas Raths∗ Jens Otten Evaluating Automated Theorem Provers for First-Order Modal Logics Thomas Raths∗ Jens Otten](https://www.pdfsearch.io/img/1f94c54fd0f0bf36787b1a5b246f5e75.jpg) | Add to Reading ListSource URL: www.jens-otten.deLanguage: English - Date: 2013-08-02 11:19:33
|
---|
15![A Short Response to a ‘Review’, with a Comment on Arrow’s Impossibility Theorem Thomas Colignatus explains voting theory as of the year 2011. A Short Response to a ‘Review’, with a Comment on Arrow’s Impossibility Theorem Thomas Colignatus explains voting theory as of the year 2011.](https://www.pdfsearch.io/img/9bf3fe5a5919ae316f6627c191e13eb7.jpg) | Add to Reading ListSource URL: www.votingmatters.org.ukLanguage: English - Date: 2013-04-06 15:38:45
|
---|
16![The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic Thomas Raths? Jens Otten](https://www.pdfsearch.io/img/2e10160581b32844762b92545ecda4c6.jpg) | Add to Reading ListSource URL: www.jens-otten.deLanguage: English - Date: 2012-03-30 11:05:42
|
---|
17![GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine](https://www.pdfsearch.io/img/45aba023fea9b6f6934fea0fca59d179.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2011-03-31 07:54:02
|
---|
18![GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine GridTPT: a distributed platform for Theorem Prover Testing∗ Thomas Bouton Diego Caminha B. de Oliveira David D´eharbe Pascal Fontaine](https://www.pdfsearch.io/img/f9a6dedd34199eb24a3d4cb05f50dd72.jpg) | Add to Reading ListSource URL: www.montefiore.ulg.ac.beLanguage: English - Date: 2011-03-31 07:54:02
|
---|
19![Robust Control and Model Uncertainty Lars Peter Hansen Thomas J. Sargent January 22, 2001 Robust Control and Model Uncertainty Lars Peter Hansen Thomas J. Sargent January 22, 2001](https://www.pdfsearch.io/img/80e82e1368c86e39e1c9b3650f440ceb.jpg) | Add to Reading ListSource URL: www.tomsargent.comLanguage: English - Date: 2015-04-08 13:04:07
|
---|
20![arXiv:1405.5800v2 [math.NT] 18 JunA QUANTITATIVE IMPROVEMENT FOR ROTH’S THEOREM ON ARITHMETIC PROGRESSIONS THOMAS F. BLOOM Abstract. We improve the quantitative estimate for Roth’s theorem on threeterm arithme arXiv:1405.5800v2 [math.NT] 18 JunA QUANTITATIVE IMPROVEMENT FOR ROTH’S THEOREM ON ARITHMETIC PROGRESSIONS THOMAS F. BLOOM Abstract. We improve the quantitative estimate for Roth’s theorem on threeterm arithme](https://www.pdfsearch.io/img/64ed28f05f40c909c19eab318ace1afa.jpg) | Add to Reading ListSource URL: arxiv.org- Date: 2014-06-20 01:32:18
|
---|